@Jackdaw - apologize for the really really late reply; I'm reviewing my own posts as found myself in the same situation again - that of changing the default ssh port. And I'm sure you're correct; however, for an ordinary user, just reading the official documentation about hot to connect via ssh, dropping 2 more lines to cover that . . . I'm just saying . . . could save a lot of precious time; I'll try asking chatGPT also to see if it can figure it out . . .